CSci 450: Organization of Programming Languages Developing Functional Programs
نویسنده
چکیده
6 Developing Functional Programs 2 6.1 Chapter Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 2 6.2 Developing a Cosequential Processing Family . . . . . . . . . . . 2 6.2.1 Function generalization . . . . . . . . . . . . . . . . . . . 2 6.2.2 Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 6.2.3 Frozen spots . . . . . . . . . . . . . . . . . . . . . . . . . 3 6.2.4 Hot spots . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 6.2.5 Hot spot #1: Variability in total ordering . . . . . . . . . 4 6.2.6 Hot spot #2: Variability in record format . . . . . . . . . 5 6.2.7 Hot spot #3: Independent variability of sequences . . . . 6 6.2.8 Hot spot #4: Variability in sequence transformations . . 7 6.2.9 Hot spot #5 :Variability of sequence source/destination . 11 6.2.10 Bag and set operation implementations . . . . . . . . . . 11 6.2.11 Sequential file update algorithm (TODO) . . . . . . . . . 13 6.2.12 Recap . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 6.3 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 6.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 6.5 Terms and Concepts . . . . . . . . . . . . . . . . . . . . . . . . . 15
منابع مشابه
CSci 450: Org. of Programming Languages Evaluation and Efficiency
3 Evaluation and Efficiency 2 3.1 Chapter Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 2 3.2 Evaluation of Functional Programs . . . . . . . . . . . . . . . . . 2 3.2.1 Referential transparency . . . . . . . . . . . . . . . . . . . 3 3.2.2 Substitution model . . . . . . . . . . . . . . . . . . . . . . 3 3.2.3 Time and space complexity . . . . . . . . . . . . . . . . . 7 3.2.4 ...
متن کاملMetamodel and UML Profile for Functional Programming Languages
Functional programming languages are ideally suited for developing dependable software, but not much work have been done on modeling functional programs. Although UML is mainly based on concepts which are native to imperative object-oriented programming languages, this chapter shows how – through the profile mechanism – it can be used to model software that is to be implemented in a functional ...
متن کاملA compiler for Cada
Monads have evolved into a powerful and versatile tool for functional programming, but remain a challenging concept for those versed in other paradigms. However, their usefulness encourages us to explore means by which they can be made more accessible. While efforts have been made to introduce syntactic constructs for this purpose, such as the do-notation and monad comprehensions in Haskell, li...
متن کاملOn a Formal Correspondence Between A-C-Terms and Classical Proofs
The propositions-as-types correspondence [IIowSO] relates proofs in con structive logic to functional programs. The correspondence has intrigued those interested in the formal verification of programs with the possibility of developing programs from proofs of their specifications [BC85, Con86, Moh86]. However, one drawback of this approach to program development is that the programming language...
متن کاملRealizing Concurrent Functional . . .
of “Realizing Concurrent Functional Programming Languages” by Eric Larsen McCorkle, Sc.M, Brown University, May, 2008. This thesis is concerned with a methodology for deriving parallelism from programs where there is little or no coarse–grained concurrency. It presents the case that that concurrent functional programminga paradigm formed from the assimilation of concurrent programming construct...
متن کامل